#include "../system/int80.h"

#ifndef TIMER_H
#define	TIMER_H

void init_timer_tick();

#endif	/* TIMER_H */

